Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
121	Sequencing in F# Sequencing, and IO We said functional programming is about calculating expressions Björn Lisper School of Innovation, Design, and Engineering Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-27 03:46:56 Software engineering Computer programming Computing Programming idioms C standard library Subroutines Functional programming Functional languages Printf format string Monad Eval Lisp
122	Compiler Generation for Interactive Graphics using Intermediate Code Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pitsburgh, PA 15213, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Computing Data types Procedural programming languages Cross-platform software Object-oriented programming languages Functional languages Common Lisp Const Type system D
123	Prospect:  A Library and Compiler  for High-Level, High-Performance Scientific Computing in Julia Lindsey Kuper Parallel Computing Lab, Intel Labs Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2016-06-13 00:12:53 Software engineering Software Computing Parallel computing Concurrent programming languages Array programming languages Object-oriented programming languages Functional languages List comprehension Julia Array programming Array data type
124	Contributing to the Common Lisp ecosystem Daniel "jackdaniel" Kochmański Add to Reading List Source URL: turtleware.eu Language: English - Date: 2016-05-11 15:52:19 Software Computer programming Functional languages Lisp Common Lisp Cross-platform software CLISP Emacs
125	Formalizing XML Access Control for Update Operations Irini Fundulaki Sebastian Maneth University of Edinburgh Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2010-09-29 11:25:00 Computing Query languages Markup languages Functional languages XPath HTML element XML tree XQuery Node Processing Instruction Root element VTD-XML
126	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.nocrew.org Language: English - Date: 2013-05-15 16:15:14 Software engineering Computer programming Computing Subroutines Functional languages Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
127	Applied Materialization When Macros Meet Implicits Eugene Burmako ´ Ecole Add to Reading List Source URL: scalamacros.org Language: English - Date: 2016-08-18 07:56:24 Software engineering Computing Computer programming Concurrent programming languages Functional languages Object-oriented programming languages Data types Functional programming Pickler Scala Pickle Type class
128	Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2011-06-24 04:56:27 Software engineering Declarative programming Computing Data types Functional languages Type theory Functional programming Generic programming Dependently typed programming Generalized algebraic data type ATS Haskell
129	Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types Generic types Add to Reading List Source URL: tomasp.net Language: English Software engineering Computer programming Computing Data types Functional languages Type theory Recursion Functional programming OCaml Caml Recursive data type ML
130	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming

UPDATE